Furia, Carlo A.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Agile vs. structured distributed software development: A case study

Estler, Hans-Christian, Nordio, Martin, Furia, Carlo A., Meyer, Bertrand, Schneider, Johannes

Journal:

Empirical Software Engineering

Year:

2014

Language:

english

File:

PDF, 2.21 MB

english, 2014

2

Loop invariants

Furia, Carlo A., Meyer, Bertrand, Velder, Sergey

Journal:

ACM Computing Surveys

Year:

2014

Language:

english

File:

PDF, 3.43 MB

english, 2014

3

Modeling time in computing

Furia, Carlo A., Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo

Journal:

ACM Computing Surveys

Year:

2010

Language:

english

File:

PDF, 817 KB

english, 2010

4

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - Stateful testing: Finding more errors in code and contracts

Wei, Yi, Roth, Hannes, Furia, Carlo A., Pei, Yu, Horton, Alexander, Steindorfer, Michael, Nordio, Martin, Meyer, Bertrand

Year:

2011

Language:

english

File:

PDF, 206 KB

english, 2011

5

Review of The calculus of computation

Furia, Carlo A.

Journal:

ACM SIGACT News

Year:

2011

Language:

english

File:

PDF, 600 KB

english, 2011

6

[IEEE 2013 22nd Australian Software Engineering Conference (ASWEC) - Hawthorne, Victoria, Australia (2013.06.4-2013.06.7)] 2013 22nd Australian Software Engineering Conference - Unifying Configuration Management with Merge Conflict Detection and Awareness Systems

Estler, H. Christian, Nordio, Martin, Furia, Carlo A., Meyer, Bertrand

Year:

2013

Language:

english

File:

PDF, 1.04 MB

english, 2013

7

[IEEE 2012 7th IEEE International Conference on Global Software Engineering (ICGSE) - Porto Alegre, Rio Grande do Sul, Brazil (2012.08.27-2012.08.30)] 2012 IEEE Seventh International Conference on Global Software Engineering - Agile vs. Structured Distributed Software Development: A Case Study

Estler, H.-Christian, Nordio, Martin, Furia, Carlo A., Meyer, Bertrand, Schneider, Johannes

Year:

2012

Language:

english

File:

PDF, 775 KB

english, 2012

8

Bounded variability of metric temporal logic

Carlo A. Furia,Paola Spoletini

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2017

Language:

english

File:

PDF, 829 KB

english, 2017

9

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - Code-based automated program fixing

Pei, Yu, Wei, Yi, Furia, Carlo A., Nordio, Martin, Meyer, Bertrand

Year:

2011

Language:

english

File:

PDF, 239 KB

english, 2011

10

[IEEE 2013 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) - Baltimore, Maryland (2013.10.10-2013.10.11)] 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement - An Empirical Study of API Usability

Piccioni, Marco, Furia, Carlo A., Meyer, Bertrand

Year:

2013

Language:

english

File:

PDF, 257 KB

english, 2013

11

[Monographs in Theoretical Computer Science. An EATCS Series] Modeling Time in Computing || It’s About Time

Furia, Carlo A., Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo

Year:

2012

Language:

english

File:

PDF, 105 KB

english, 2012

12

[Monographs in Theoretical Computer Science. An EATCS Series] Modeling Time in Computing || Asynchronous Abstract Machines: Petri Nets

Furia, Carlo A., Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo

Year:

2012

Language:

english

File:

PDF, 1.33 MB

english, 2012

13

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || Modelling and Verification for Swarm Robotics

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 2.15 MB

english, 2018

14

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || Design and Verification of Restart-Robust Industrial Control Software

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 744 KB

english, 2018

15

Restore: Retrospective Fault Localization Enhancing Automated Program Repair

Xu, Tongtong, Chen, Liushan, Pei, Yu, Zhang, Tian, Pan, Minxue, Furia, Carlo Alberto

Journal:

IEEE Transactions on Software Engineering

Year:

2020

File:

PDF, 2.07 MB

2020

16

[Lecture Notes in Computer Science] Objects, Models, Components, Patterns Volume 7304 || Integrating Efficient Model Queries in State-of-the-Art EMF Tools

Furia, Carlo A., Nanz, Sebastian

Year:

2012

Language:

english

File:

PDF, 329 KB

english, 2012

17

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || Formal Modelling of Software Defined Networking

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 1.57 MB

english, 2018

18

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || Repair and Generation of Formal Models Using Synthesis

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 707 KB

english, 2018

19

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || A Precise Pictorial Language for Array Invariants

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 518 KB

english, 2018

20

[IEEE 2019 IEEE 19th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Cleveland, OH, USA (2019.9.30-2019.10.1)] 2019 19th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Automatically Generating Fix Suggestions in Response to Static Code Analysis Warnings

Marcilio, Diego, Furia, Carlo A., Bonifacio, Rodrigo, Pinto, Gustavo

Year:

2019

File:

PDF, 156 KB

2019

21

A Compositional Framework for Formally Verifying Modular Systems

Carlo A. Furia, Matteo Rossi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 284 KB

english, 2005

22

Comments on temporal logics for real-time system specification

Furia, Carlo A., Pradella, Matteo, Rossi, Matteo

Journal:

ACM Computing Surveys

Year:

2009

Language:

english

File:

PDF, 71 KB

english, 2009

23

Antiproliferative Activity of Novel Isatinyl/Indanyl Nitrones (INs) as Potential Spin Trapping of Free Radical Intermediates

Maiuolo, Loredana, Feriotto, Giordana, Algieri, Vincenzo, Nardi, Monica, Russo, Beatrice, Di Gioia, Maria Luisa, Furia, Emilia, Tallarida, Matteo Antonio, MIschiati, Carlo, DE NINO, Antonio

Journal:

Year:

2017

Language:

english

File:

PDF, 901 KB

english, 2017

24

A fully verified container library

Polikarpova, Nadia, Tschannen, Julian, Furia, Carlo A.

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 1.02 MB

english, 2017

25

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 517 KB

english, 2018

26

Contract-Based Program Repair without The Contracts: An Extended Study

Chen, Liushan, Pei, Yu, Furia, Carlo Alberto

Journal:

IEEE Transactions on Software Engineering

Year:

2020

Language:

english

File:

PDF, 4.50 MB

english, 2020

27

[IEEE 2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Oxford, United Kingdom (2010.03.22-2010.03.26)] 2010 15th IEEE International Conference on Engineering of Complex Computer Systems - Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components

Bindelli, Silvia, Nitto, Elisabetta Di, Furia, Carlo A., Rossi, Matteo

Year:

2010

Language:

english

File:

PDF, 386 KB

english, 2010

28

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || On the Industrial Uptake of Formal Methods in the Railway Domain

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 1.21 MB

english, 2018

29

Automated compositional proofs for real-time systems

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 842 KB

english, 2007

30

[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms

Bersani, Marcello M., Furia, Carlo A., Pradella, Matteo, Rossi, Matteo

Year:

2009

Language:

english

File:

PDF, 509 KB

english, 2009

31

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || Mode-Aware Concolic Testing for PLC Software

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 409 KB

english, 2018

32

[ACM Press Proceeding of the 33rd international conference - Waikiki, Honolulu, HI, USA (2011.05.21-2011.05.28)] Proceeding of the 33rd international conference on Software engineering - ICSE '11 - Inferring better contracts

Wei, Yi, Furia, Carlo A., Kazmin, Nikolay, Meyer, Bertrand

Year:

2011

Language:

english

File:

PDF, 1.76 MB

english, 2011

33

AutoProof: auto-active functional verification of object-oriented programs

Furia, Carlo A., Nordio, Martin, Polikarpova, Nadia, Tschannen, Julian

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2016

Language:

english

File:

PDF, 1.33 MB

english, 2016

34

[Lecture Notes in Computer Science] Tests and Proofs Volume 9762 ||

Aichernig, Bernhard K., Furia, Carlo A.

Year:

2016

Language:

english

File:

PDF, 9.29 MB

english, 2016

35

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 1.39 MB

english, 2018

36

[Monographs in Theoretical Computer Science. An EATCS Series] Modeling Time in Computing ||

Furia, Carlo A., Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo

Year:

2012

Language:

english

File:

PDF, 9.26 MB

english, 2012

37

[ACM Press the 19th international symposium - Trento, Italy (2010.07.12-2010.07.16)] Proceedings of the 19th international symposium on Software testing and analysis - ISSTA '10 - Automated fixing of programs with contracts

Wei, Yi, Pei, Yu, Furia, Carlo A., Silva, Lucas S., Buchholz, Stefan, Meyer, Bertrand, Zeller, Andreas

Year:

2010

Language:

english

File:

PDF, 1.16 MB

english, 2010

38

Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking

Galeotti, Juan, Furia, Carlo, May, Eva, Fraser, Gordon, Zeller, Andreas

Journal:

IEEE Transactions on Software Engineering

Year:

2015

Language:

english

File:

PDF, 461 KB

english, 2015

39

[IEEE 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Urbana, IL (2017.10.30-2017.11.3)] 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Contract-based program repair without the contracts

Chen, Liushan, Pei, Yu, Furia, Carlo A.

Year:

2017

Language:

english

File:

PDF, 192 KB

english, 2017

40

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || Study of Integrating Random and Symbolic Testing for Object-Oriented Software

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 1.12 MB

english, 2018

41

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || Task Planning with OMT: An Application to Production Logistics

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 529 KB

english, 2018

42

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || Resource-Aware Virtually Timed Ambients

Furia, Carlo A., Winter, Kirsten

Year:

2018

Language:

english

File:

PDF, 1.06 MB

english, 2018

43

[Monographs in Theoretical Computer Science. An EATCS Series] Modeling Time in Computing || Dynamical Systems

Furia, Carlo A., Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo

Year:

2012

Language:

english

File:

PDF, 467 KB

english, 2012

44

Physiologic Lesion Assessment During Percutaneous Coronary Intervention

Melikian, Narbeh, Del Furia, Francesca, Di Mario, Carlo

Journal:

Cardiology Clinics

Year:

2010

Language:

english

File:

PDF, 2.73 MB

english, 2010

45

Detection rate and predictive factors of sessile serrated polyps in an organised colorectal cancer screening programme with immunochemical faecal occult blood test: the EQuIPE study (Evaluating Quality Indicators of the Performance of Endoscopy)

Zorzi, Manuel, Senore, Carlo, Da Re, Filippo, Barca, Alessandra, Bonelli, Luigina Ada, Cannizzaro, Renato, de Pretis, Giovanni, Di Furia, Lucia, Di Giulio, Emilio, Mantellini, Paola, Naldoni, Carlo, S

Journal:

Year:

2016

Language:

english

File:

PDF, 357 KB

english, 2016

46

Study of the coordination of ortho-tyrosine and trans-4-hydroxyproline with aluminum(III) and iron(III)

Aiello, Donatella, Furia, Emilia, Siciliano, Carlo, Bongiorno, David, Napoli, Anna

Journal:

Journal of Molecular Liquids

Year:

2018

Language:

english

File:

PDF, 910 KB

english, 2018

47

[Monographs in Theoretical Computer Science. An EATCS Series] Modeling Time in Computing || Languages and Interpretations

Furia, Carlo A., Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo

Year:

2012

Language:

english

File:

PDF, 459 KB

english, 2012

48

[IEEE 2014 IEEE 9th International Conference on Global Software Engineering (ICGSE) - Shanghai, China (2014.8.18-2014.8.21)] 2014 IEEE 9th International Conference on Global Software Engineering - Awareness and Merge Conflicts in Distributed Software Development

Estler, H. Christian, Nordio, Martin, Furia, Carlo A., Meyer, Bertrand

Year:

2014

Language:

english

File:

PDF, 317 KB

english, 2014

49

[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - Automated Program Repair in an Integrated Development Environment

Pei, Yu, Furia, Carlo A., Nordio, Martin, Meyer, Bertrand

Year:

2015

Language:

english

File:

PDF, 933 KB

english, 2015

50

Quantitative analysis of intracoronary optical coherence tomography measurements of stent strut apposition and tissue coverage

Peter Barlis, Konstantinos Dimopoulos, Jun Tanigawa, Ewa Dzielicka, Giuseppe Ferrante, Francesca Del Furia, Carlo Di Mario

Journal:

International Journal of Cardiology

Year:

2010

Language:

english

File:

PDF, 436 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски